Curry–Howard correspondence - PDFSEARCH.IO - Document Search Engine

Curry–Howard correspondence
Results: 226

#	Item
161	The Focused Constraint Inverse Method for Intuitionistic Modal Logics Sean McLaughlin and Frank Pfenning Carnegie Mellon University Abstract. We present a focused inverse method for proof search in a variety of Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-01-25 08:50:19 Philosophical logic Model theory Deduction Modal logic Natural deduction Admissible rule Entailment Curry–Howard correspondence Kripke semantics Logic Mathematical logic Proof theory
162	Higher-Order Processes, Functions, and Sessions: A Monadic Integration Bernardo Toninho1,2 , Luis Caires2 , and Frank Pfenning1 1 2 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-02-20 17:13:21 Type theory Logic in computer science Proof theory Functions and mappings Deduction Curry–Howard correspondence Monad Function Π-calculus Logic Mathematics Mathematical logic
163	Logic-Based Domain-Aware Session Types Lu´ıs Caires∗ , Jorge A. P´erez∗ , Frank Pfenning† and Bernardo Toninho∗† ∗ FCT - Universidade Nova de Lisboa Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-01-21 08:18:35 Proof theory Type theory Logic in computer science Models of computation Deduction Natural deduction Curry–Howard correspondence Lambda calculus Connection Mathematical logic Mathematics Theoretical computer science
164	Linear Logical Relations and Observational Equivalences for Session-Based Concurrency Jorge A. P´ereza , Lu´ıs Cairesa , Frank Pfenningb , Bernardo Toninhoa,b a CITI and Departamento de Inform´atica, FCT Universidad Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-10-12 12:11:49 Type theory Theoretical computer science Proof theory Logic in computer science Deduction Curry–Howard correspondence Lambda calculus Entailment Π-calculus Logic Mathematics Mathematical logic
165	Abstract The KE inference system is a tableau method developed by Marco Mondadori which was presented as an improvement, in the computational efficiency sense, over Analytic Tableaux. In the literature, there is no descr Add to Reading List Source URL: www.science-of-medicine.netne.net Language: English - Date: 2013-02-01 20:22:38 Non-classical logic Paraconsistent logic Philosophical logic Method of analytic tableaux Well-formed formula Ordinal number Symbol Curry–Howard correspondence Logic Mathematical logic Automated theorem proving
166	JUMPS OF MINIMAL DEGREES BELOW 00 Rodney G. Downey, Steffen Lempp, and Richard A. Shore Abstract. We show that there is a degree a REA in and low over 00 such that no minimal degree below 00 jumps to a degree above a. W Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1998-02-11 10:10:52 Ordinal numbers Set theory Curry–Howard correspondence Ordinal arithmetic Mathematical logic Mathematics Constructible universe
167	Corecursion in Session-Typed Processes Bernardo Toninho∗† , Lu´ıs Caires∗ and Frank Pfenning† ∗ CITI and FCT - Universidade Nova de Lisboa † Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-01-21 08:17:30 Theoretical computer science Computability theory Recursion Type theory Deduction Function Interpretation Entailment Curry–Howard correspondence Logic Mathematics Mathematical logic
168	F light Control Des ign Us ing B acks tepping Ola Härkegård, T orkel Glad Linköping Univers ity B ackground Add to Reading List Source URL: research.harkegard.se Language: English - Date: 2007-10-25 14:11:29 Set theory Field theory Isotope lists 73-96 Curry–Howard correspondence Constructible universe Mathematics Ordinal numbers
169	Cupping ∆02 enumeration degrees to 0e Mariya Ivanova Soskova1 Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2007-04-20 07:18:18 Mathematics Proof theory Ordinal arithmetic Curry–Howard correspondence Constructible universe Sheaf Ordinal number
170	Finding Endogenously Formed Communities Maria-Florina Balcan∗ Add to Reading List Source URL: www.cc.gatech.edu Language: English - Date: 2012-10-04 11:36:25 Logical consequence Logical syntax Metalogic Ordinal arithmetic Curry–Howard correspondence Logic Deduction Entailment

UPDATE